Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
721	Ann Oper Res[removed]: 179–207 DOI[removed]s10479[removed]y The weighted G RAMMAR constraint George Katsirelos · Nina Narodytska · Toby Walsh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-06-15 22:02:35 Computing Local consistency Constraint satisfaction problem Binary decision diagram Constraint satisfaction Constraint programming Software engineering Computer programming
722	Comparison of Different Approaches for Solving Distributed Constraint Satisfaction Problems Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 04:22:21 Artificial intelligence Constraint satisfaction Search algorithm Hybrid algorithm Algorithm Backjumping Parallel computing Backtracking Distributed algorithm Constraint programming Computer programming Software engineering
723	Artificial Intelligence ELSEVIER Artificial Intelligence[removed]345 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:10:58 Automated theorem proving Boolean algebra NP-complete problems Constraint programming Logic in computer science Boolean satisfiability problem Davis–Putnam algorithm Satisfiability Unit propagation Theoretical computer science Mathematics Computational complexity theory
724	Tractable Set Constraints Add to Reading List Source URL: ijcai.org Language: English - Date: 2011-06-29 07:09:50 Mathematical logic Constraint satisfaction Complexity of constraint satisfaction Function Entailment Envelope Horn clause Constraint programming Logic Mathematics
725	metaSMT: A Unified Interface to SMT-LIB2 Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey and Rolf Drechsler University of Bremen [removed] Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-10-20 06:13:55 C++ Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 X26 Typedef X38 CTX Theoretical computer science Applied mathematics NP-complete problems
726	Preferences in constraint satisfaction and optimization Francesca Rossi, K. Brent Venable, Toby Walsh Abstract We review constraint-based approaches to handle preferences. We start by defining the main notions of constra Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-01-14 01:34:07 Artificial intelligence Constraint satisfaction Local consistency Constraint learning Constraint Multi-criteria decision analysis Mathematical optimization Hybrid algorithm Constraint optimization Constraint programming Software engineering Computer programming
727	Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-06-21 21:27:36 Computing Local consistency Constraint satisfaction Decomposition method Constraint inference Constraint programming Software engineering Computer programming
728	Formalization of Visual Mathematical Notations Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 03:20:20 Diagrams Reasoning Automated theorem proving Logic programming Constraint programming Diagrammatic reasoning Diagram Euler diagram Mathematical notation Science Logic Mathematics
729	AND/OR Cutset Conditioning Robert Mateescu and Rina Dechter School of Information and Computer Science University of California, Irvine, CA 92697 {mateescu, dechter}@ics.uci.edu Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 15:53:56 Search algorithms Mathematics Bayesian statistics Statistical models Hybrid algorithm Combinatorial optimization Feedback vertex set Connectivity A* search algorithm Constraint programming Graph theory Theoretical computer science
730	Decompositions of Grammar Constraints Add to Reading List Source URL: aaai.org Language: English - Date: 2008-06-08 01:31:07 Computing Constraint satisfaction Local consistency Mathematical optimization Constraint Constraint programming Software engineering Computer programming

UPDATE